A probabilistic proof for the lym-inequality
نویسندگان
چکیده
منابع مشابه
A probabilistic proof for the lym-inequality
Here we give a short, inductive argument yielding (1). First note that (1) is evident if n = 1, and also if X E S (in the latter case necessarily 9 -= 1.x) holds). Now assume (1) is true for n 1, !F is an antichain and X 4 9. Let x be a random variable which takes the values 1,. . . , n; each with probability l/n. Let us define s(x) = {FE ZF: x9! fl. For any function g(x), we denote by E(g(x)) ...
متن کاملSharpening the LYM inequality
More detailed information about the s t ructure of Sperner families can be obtained by considering their level sequences. The level sequence of a family 4 , f ( ~ ) = {fi(Y)}, has f i (~) equal to the number of members of ~ with exac t ly ' / e l emen t s . Sperner 's theorem asserts tha t ~fi(2~)<_ ([~j) . A stronger restriction on the level i sequence was proved independent ly by Lubell, Yama...
متن کاملa cauchy-schwarz type inequality for fuzzy integrals
نامساوی کوشی-شوارتز در حالت کلاسیک در فضای اندازه فازی برقرار نمی باشد اما با اعمال شرط هایی در مسئله مانند یکنوا بودن توابع و قرار گرفتن در بازه صفر ویک می توان دو نوع نامساوی کوشی-شوارتز را در فضای اندازه فازی اثبات نمود.
15 صفحه اولProof rules for probabilistic loops
Probabilistic predicate transformers provide a semantics for imperative programs containing both demonic and probabilistic nondeterminism. Like the (standard) predicate transformers popularised by Dijkstra, they model programs as functions from final results to the initial conditions sufficient to achieve them. This paper presents practical proof rules, using the probabilistic transformers, for...
متن کاملGram's Equation - A Probabilistic Proof
If v are the angles at the vertices v, v 2 V , of a convex n-gon in the plane, then P v2V v = (n?2) { known as Euclid's angle-sum equation. We normalize the full angle to 1, i.e. we set v = v =(2). Then the equation reads as X v2V v = n=2 ? 1 (1) This identity has a generalization to higher dimensions, called Gram's equation. We want to derive this identity by a probabilistic argument. Let us i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 1983
ISSN: 0012-365X
DOI: 10.1016/0012-365x(83)90170-x